2

Internal and External Hiring

Year:
2019
Language:
english
File:
PDF, 147 KB
english, 2019
3

Reindeer herding and ecology in finnish Lapland

Year:
1984
Language:
english
File:
PDF, 953 KB
english, 1984
5

Une tumeur odontogène du maxillaire

Year:
2012
Language:
french
File:
PDF, 755 KB
french, 2012
20

La bordure en brosse d’une muqueuse colique

Year:
2015
Language:
french
File:
PDF, 986 KB
french, 2015
23

PC-Rimst - a tool for validating concurrent program designs

Year:
1988
Language:
english
File:
PDF, 927 KB
english, 1988
25

More efficient on-the-fly LTL verification with Tarjan's algorithm

Year:
2005
Language:
english
File:
PDF, 270 KB
english, 2005
26

Essential transitions to bisimulation equivalences

Year:
1997
Language:
english
File:
PDF, 1.57 MB
english, 1997
29

Context-Sensitive Visibility

Year:
2002
Language:
english
File:
PDF, 202 KB
english, 2002
30

Verification with the Undefined: A New Look

Year:
2003
Language:
english
File:
PDF, 227 KB
english, 2003
31

Book reviews

Year:
1985
Language:
english
File:
PDF, 341 KB
english, 1985
32

A stubborn attack on state explosion

Year:
1992
Language:
english
File:
PDF, 1.70 MB
english, 1992
33

Compositional failure-based semantic models for Basic LOTOS

Year:
1995
Language:
english
File:
PDF, 1.84 MB
english, 1995
36

Software model checking is a rich research field

Year:
2009
Language:
english
File:
PDF, 311 KB
english, 2009
37

Question-guided stubborn set methods for state properties

Year:
2006
Language:
english
File:
PDF, 628 KB
english, 2006
38

The weakest deadlock-preserving congruence

Year:
1995
Language:
english
File:
PDF, 476 KB
english, 1995
39

Reachability analysis -based validation of embedded systems

Year:
1987
Language:
english
File:
PDF, 875 KB
english, 1987
44

Relaxed Visibility Enhances Partial Order Reduction

Year:
2001
Language:
english
File:
PDF, 111 KB
english, 2001
46

Fast brief practical DFA minimization

Year:
2012
Language:
english
File:
PDF, 132 KB
english, 2012
49

Trends in hospitalization for childhood asthma in Finland in 1996–2004

Year:
2007
Language:
english
File:
PDF, 292 KB
english, 2007